<html>
<head><meta charset="utf-8"><title>2020 sprint 1 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html">2020 sprint 1</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="188018587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188018587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188018587">(Feb 12 2020 at 15:14)</a>:</h4>
<p>I decided it would be better to have a stream specifically dedicated to the topic, rather than extending the design meeting topic</p>



<a name="188018616"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188018616" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188018616">(Feb 12 2020 at 15:15)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span class="user-mention" data-user-id="125131">@detrumi</span> <span class="user-mention" data-user-id="125294">@Aaron Hill</span> <span class="user-mention" data-user-id="198819">@David Barsky</span> <span class="user-mention" data-user-id="220273">@Jane Lusby</span> <span class="user-mention" data-user-id="202314">@matprec</span></p>



<a name="188018640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188018640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188018640">(Feb 12 2020 at 15:15)</a>:</h4>
<p>link to sprint doc for future reference: <a href="https://paper.dropbox.com/doc/wg-traits-2020-sprint-planning--AuNFr3WGUhJ~DsCkt_aNOxmvAg-SSt74TfcovdnKKhZNyzeW" target="_blank" title="https://paper.dropbox.com/doc/wg-traits-2020-sprint-planning--AuNFr3WGUhJ~DsCkt_aNOxmvAg-SSt74TfcovdnKKhZNyzeW">https://paper.dropbox.com/doc/wg-traits-2020-sprint-planning--AuNFr3WGUhJ~DsCkt_aNOxmvAg-SSt74TfcovdnKKhZNyzeW</a></p>



<a name="188024822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188024822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188024822">(Feb 12 2020 at 16:11)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="188025026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188025026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188025026">(Feb 12 2020 at 16:12)</a>:</h4>
<p><span class="user-mention" data-user-id="220273">@Jane Lusby</span> if you're interested in adding <code>tracing</code> support, <span class="user-mention" data-user-id="198819">@David Barsky</span> is also helping with that</p>



<a name="188025089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188025089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188025089">(Feb 12 2020 at 16:13)</a>:</h4>
<p>But I'm not entirely sure how much progress he's made <em>on Chalk</em></p>



<a name="188025104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188025104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188025104">(Feb 12 2020 at 16:13)</a>:</h4>
<p>I'll ask him</p>



<a name="188025196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188025196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188025196">(Feb 12 2020 at 16:14)</a>:</h4>
<p>I know he's been working on <a href="https://github.com/davidbarsky/tracing-tree/" target="_blank" title="https://github.com/davidbarsky/tracing-tree/">his library</a></p>



<a name="188025207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188025207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> David Barsky <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188025207">(Feb 12 2020 at 16:14)</a>:</h4>
<p>heya jane</p>



<a name="188025213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188025213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188025213">(Feb 12 2020 at 16:14)</a>:</h4>
<p>more discussion in <a href="#narrow/stream/144729-wg-traits/topic/tracing.20in.20chalk" title="#narrow/stream/144729-wg-traits/topic/tracing.20in.20chalk">https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/tracing.20in.20chalk</a></p>



<a name="188025661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188025661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188025661">(Feb 12 2020 at 16:19)</a>:</h4>
<p>Also <span class="user-mention" data-user-id="125131">@detrumi</span> and <span class="user-mention" data-user-id="116009">@nikomatsakis</span>, in regards to exporting a lowered program/goals to a <code>.chalk</code> file (since I did a <em>little</em> bit a week or two ago):</p>



<a name="188025715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188025715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188025715">(Feb 12 2020 at 16:19)</a>:</h4>
<p>I think the big blocking thing there (or at least the first blocking thing) is actually having some "context" when printing binders</p>



<a name="188025790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188025790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188025790">(Feb 12 2020 at 16:20)</a>:</h4>
<p>So trait impls can be printed correctly</p>



<a name="188025829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188025829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188025829">(Feb 12 2020 at 16:20)</a>:</h4>
<p>(i.e. a name like <code>T</code> instead of <code>^0</code>)</p>



<a name="188025954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188025954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188025954">(Feb 12 2020 at 16:21)</a>:</h4>
<p>it would be interesting to think about how much (if any) this overlaps with: <a href="https://github.com/rust-lang/chalk/issues/287" target="_blank" title="https://github.com/rust-lang/chalk/issues/287">https://github.com/rust-lang/chalk/issues/287</a></p>



<a name="188026892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188026892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188026892">(Feb 12 2020 at 16:31)</a>:</h4>
<blockquote>
<p>(i.e. a name like <code>T</code> instead of <code>^0</code>)</p>
</blockquote>
<p>couldn't you substitute the variables for placeholders that print nicely at the point where the binders are introduced? i.e. when you're printing the impl. That's what RA does in a similar situation</p>



<a name="188027142"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188027142" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188027142">(Feb 12 2020 at 16:33)</a>:</h4>
<p>can you be a bit more clear?</p>



<a name="188027271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188027271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188027271">(Feb 12 2020 at 16:34)</a>:</h4>
<p>so, the problem is trying to print something like <code>impl&lt;'a, T&gt; Trait&lt;T&gt; for Struct&lt;'a&gt;</code></p>



<a name="188027479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188027479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188027479">(Feb 12 2020 at 16:36)</a>:</h4>
<p>That stored in the <code>Program</code> as essentially <code>forall&lt;^'0, ^1&gt; Trait&lt;Struct&lt;^'0&gt;, ^1&gt;</code></p>



<a name="188027742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188027742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188027742">(Feb 12 2020 at 16:38)</a>:</h4>
<p>the tough part is actually propagating the named binders through the bound type</p>



<a name="188027783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188027783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188027783">(Feb 12 2020 at 16:39)</a>:</h4>
<p>I was trying to think of a way to reuse the existing debug/display infra as best as possible</p>



<a name="188027802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188027802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188027802">(Feb 12 2020 at 16:39)</a>:</h4>
<p>basically, I imagine there's something like <code>format!("impl {} for {}", trait, type)</code> somewhere, and you could do <code>type.subst(^0 -&gt; T)</code> at that point (pseudocode, obviously). I.e. in the place where you are printing the whole impl, you have the binders and can give names to each one, and then substitute them into the types before printing them. That only works if you can represent the <code>T</code> as a placeholder that prints like that, of course</p>



<a name="188027882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188027882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188027882">(Feb 12 2020 at 16:40)</a>:</h4>
<p>yeah, I think what you're suggesting is similar to what I'm thinking</p>



<a name="188028107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188028107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188028107">(Feb 12 2020 at 16:42)</a>:</h4>
<blockquote>
<p>and you could do <code>type.subst(^0 -&gt; T)</code> at that point (pseudocode, obviously). I.e. in the place where you are printing the whole impl</p>
</blockquote>
<p>This is similar to what I was thinking. We already have the <code>TF:: debug*</code> functions that existing Debug impls call for some things. Just need add one for bound variables <em>and track as new binders are added</em></p>



<a name="188029030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188029030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188029030">(Feb 12 2020 at 16:51)</a>:</h4>
<p>what I mean is that in RA there's an actual type that already prints as <code>T</code>, so we can just use normal type substitution to replace the bound variables by those placeholder types, and then it prints nicely. it might be a bit more complicated in Chalk</p>



<a name="188029463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188029463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188029463">(Feb 12 2020 at 16:56)</a>:</h4>
<p>Ohh, I see</p>



<a name="188029486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188029486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188029486">(Feb 12 2020 at 16:56)</a>:</h4>
<p>That's an interesting idea</p>



<a name="188448209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188448209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188448209">(Feb 18 2020 at 12:59)</a>:</h4>
<p>We didn't talk about dates at all. If we consider the sprint as 'started' on Feb 11, then 6 weeks later would be around March 24</p>



<a name="188506857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188506857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188506857">(Feb 19 2020 at 00:50)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> thanks for bringing this up. good to keep in mind</p>



<a name="188948275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/188948275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#188948275">(Feb 24 2020 at 17:41)</a>:</h4>
<p>Yep, thanks</p>



<a name="191922672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191922672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191922672">(Mar 26 2020 at 17:43)</a>:</h4>
<p>I started writing up the blog post in a Hackmd doc <a href="https://hackmd.io/FTXbWVaYRQeXMgCUoqokgg" title="https://hackmd.io/FTXbWVaYRQeXMgCUoqokgg">https://hackmd.io/FTXbWVaYRQeXMgCUoqokgg</a></p>



<a name="191922679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191922679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191922679">(Mar 26 2020 at 17:43)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span></p>



<a name="191946791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191946791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191946791">(Mar 26 2020 at 20:49)</a>:</h4>
<p>looking now, <span class="user-mention" data-user-id="232957">@Jack Huey</span></p>



<a name="191946864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191946864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191946864">(Mar 26 2020 at 20:50)</a>:</h4>
<p>good start</p>



<a name="191946913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191946913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191946913">(Mar 26 2020 at 20:50)</a>:</h4>
<p>I will say that I feel like -- in practice -- we are really wg-chalk</p>



<a name="191946944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191946944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191946944">(Mar 26 2020 at 20:50)</a>:</h4>
<p>even the work we're planning on rustc tends to have the goal of aligning rustc's processing model closer to the one that chalk is using</p>



<a name="191946973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191946973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191946973">(Mar 26 2020 at 20:50)</a>:</h4>
<p>I wonder if it makes sense to rebrand prior to posting this</p>



<a name="191947802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191947802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191947802">(Mar 26 2020 at 20:57)</a>:</h4>
<p>Is there much traits work that will happen independently of chalk/this wg after it's been merged?</p>



<a name="191947911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191947911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191947911">(Mar 26 2020 at 20:58)</a>:</h4>
<p>Like, what would be the set of responsibilities of a wg-trait that aren't covered by wg-chalk</p>



<a name="191951723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191951723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191951723">(Mar 26 2020 at 21:30)</a>:</h4>
<p>well e.g. <span class="user-mention" data-user-id="119009">@eddyb</span> has been talking about various bits of optimization work on rustc's implementation that doesn't, I don't think, move us particularly closer to chalk integration</p>



<a name="191951729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191951729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191951729">(Mar 26 2020 at 21:30)</a>:</h4>
<p>though it's quite valuable work</p>



<a name="191951849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191951849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191951849">(Mar 26 2020 at 21:31)</a>:</h4>
<p>read all about it <a href="https://github.com/w3f/General-Grants-Program/pull/261" title="https://github.com/w3f/General-Grants-Program/pull/261">https://github.com/w3f/General-Grants-Program/pull/261</a></p>



<a name="191951867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191951867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191951867">(Mar 26 2020 at 21:31)</a>:</h4>
<p>the contract has been signed and we'll be starting on it soon</p>



<a name="191951989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191951989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191951989">(Mar 26 2020 at 21:32)</a>:</h4>
<p>(currently I'm digging into <a href="https://github.com/rust-lang/rust/issues/69060" title="https://github.com/rust-lang/rust/issues/69060">#69060</a>, which has probably tainted a large number of perf runs with noise, and might even have a dark connection to specialization. yes, non-deterministic application of specialization between compiler builds :P)</p>



<a name="191952951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191952951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191952951">(Mar 26 2020 at 21:42)</a>:</h4>
<p>there's also more details I threw in here <a href="https://hackmd.io/q0AjMvUwSn20kzbirWc9Jw?view#2-select--eval-caching-improvements" title="https://hackmd.io/q0AjMvUwSn20kzbirWc9Jw?view#2-select--eval-caching-improvements">https://hackmd.io/q0AjMvUwSn20kzbirWc9Jw?view#2-select--eval-caching-improvements</a></p>



<a name="191952975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191952975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191952975">(Mar 26 2020 at 21:42)</a>:</h4>
<p>overall  I think any optimizations I come up with that aren't already in Chalk should be, to some extent or another</p>



<a name="191962489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191962489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191962489">(Mar 26 2020 at 23:38)</a>:</h4>
<p>So, I can definitely see the argument either way for wg-chalk or wg-traits</p>



<a name="191962497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191962497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191962497">(Mar 26 2020 at 23:38)</a>:</h4>
<p>95% of everything we talk about is Chalk-related</p>



<a name="191962527"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191962527" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191962527">(Mar 26 2020 at 23:39)</a>:</h4>
<p>And I don't really know what <em>other</em> responsibilities this wg would have after Chalk is merged completely</p>



<a name="191962583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191962583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191962583">(Mar 26 2020 at 23:40)</a>:</h4>
<p>But, I think either way, we probably want to get this blog post out sooner rather than later</p>



<a name="191962600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191962600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191962600">(Mar 26 2020 at 23:40)</a>:</h4>
<p>and I feel like a rebrand - even without discussion - might take a bit</p>



<a name="191962621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191962621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191962621">(Mar 26 2020 at 23:41)</a>:</h4>
<p>so, maybe if we feel like we might be rebranding, we can add a note in the blog post</p>



<a name="191962631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/191962631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#191962631">(Mar 26 2020 at 23:41)</a>:</h4>
<p>but otherwise, I don't think anything should be different</p>



<a name="192061269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192061269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192061269">(Mar 27 2020 at 18:34)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> that sounds reasonable</p>



<a name="192061281"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192061281" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192061281">(Mar 27 2020 at 18:34)</a>:</h4>
<p>I feel pretty sure we should "rebrand"</p>



<a name="192061292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192061292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192061292">(Mar 27 2020 at 18:34)</a>:</h4>
<p>but I also don't see a reason to rush</p>



<a name="192061335"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192061335" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192061335">(Mar 27 2020 at 18:35)</a>:</h4>
<p>in a way, the conversation <em>is</em> a bit deeper than "branding"</p>



<a name="192061362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192061362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192061362">(Mar 27 2020 at 18:35)</a>:</h4>
<p>it's really acknowledging and stating our focus more clearly</p>



<a name="192061388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192061388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192061388">(Mar 27 2020 at 18:35)</a>:</h4>
<p>and in particular stating what we will <em>not</em> be focusing on " as a group " (which might mean we should discuss if those things ought to be handled elsewhere )</p>



<a name="192062198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192062198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192062198">(Mar 27 2020 at 18:41)</a>:</h4>
<p>I'm around now for any discussion about the blog post</p>



<a name="192062436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192062436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192062436">(Mar 27 2020 at 18:43)</a>:</h4>
<p>it'd be nice if <a href="https://rust-lang.github.io/wg-traits/" title="https://rust-lang.github.io/wg-traits/">https://rust-lang.github.io/wg-traits/</a> were better :)</p>



<a name="192062652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192062652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192062652">(Mar 27 2020 at 18:44)</a>:</h4>
<p>It's not <em>bad</em></p>



<a name="192062663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192062663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192062663">(Mar 27 2020 at 18:44)</a>:</h4>
<p>just needs more...content?</p>



<a name="192062694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192062694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192062694">(Mar 27 2020 at 18:44)</a>:</h4>
<p>yeah it's mostly that</p>



<a name="192063436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192063436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192063436">(Mar 27 2020 at 18:49)</a>:</h4>
<p>let's add some sprint items related to the skill tree output :)</p>



<a name="192063464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192063464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192063464">(Mar 27 2020 at 18:49)</a>:</h4>
<p>maybe somebody will pop in and get psyched to actually make it look nice :P</p>



<a name="192064020"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192064020" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192064020">(Mar 27 2020 at 18:52)</a>:</h4>
<p>Sure :) if you have some</p>



<a name="192064072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192064072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192064072">(Mar 27 2020 at 18:53)</a>:</h4>
<p>I have some ideas,</p>



<a name="192064092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192064092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192064092">(Mar 27 2020 at 18:53)</a>:</h4>
<p>but I think I'd mostly be looking for someone who wants to take a bit of .. initiative there :P</p>



<a name="192064120"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192064120" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192064120">(Mar 27 2020 at 18:53)</a>:</h4>
<p>so I'm thinking about the intro here</p>



<a name="192064147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192064147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192064147">(Mar 27 2020 at 18:53)</a>:</h4>
<p>I'm thinking of adding some text about library-ification and what I think is clearly one of our major goals</p>



<a name="192064173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192064173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192064173">(Mar 27 2020 at 18:53)</a>:</h4>
<p>which is to evolve chalk into a standalone library that rust-analyzer, rustc, and maybe even other tools can share</p>



<a name="192064180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192064180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192064180">(Mar 27 2020 at 18:54)</a>:</h4>
<p>that defines rust trait solving</p>



<a name="192064219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192064219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192064219">(Mar 27 2020 at 18:54)</a>:</h4>
<p>Sounds good to me</p>



<a name="192064236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192064236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192064236">(Mar 27 2020 at 18:54)</a>:</h4>
<p>I somewhat started on that</p>



<a name="192064249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192064249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192064249">(Mar 27 2020 at 18:54)</a>:</h4>
<p>this motivates some of the work like the refactoring etc</p>



<a name="192064251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192064251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192064251">(Mar 27 2020 at 18:54)</a>:</h4>
<p>but didn't say a ton</p>



<a name="192071283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192071283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192071283">(Mar 27 2020 at 19:52)</a>:</h4>
<p>ugh hackmd is kind of slow :)</p>



<a name="192071315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192071315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192071315">(Mar 27 2020 at 19:52)</a>:</h4>
<p>well, I started editing the intro but kind of wound up reverting a lot of that -- it's hard to decide where to start the explantaion :)</p>



<a name="192071336"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192071336" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192071336">(Mar 27 2020 at 19:52)</a>:</h4>
<p>decided to focus more on "upcoming sprint items", which seems most imp't</p>



<a name="192071513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192071513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192071513">(Mar 27 2020 at 19:54)</a>:</h4>
<p>Yeah, I'm there</p>



<a name="192071591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192071591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192071591">(Mar 27 2020 at 19:55)</a>:</h4>
<p>btw, I'm wondering if maybe instead of naming folks in each section, we should have a kind of Who are we? section that just lists out the contributors</p>



<a name="192071609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192071609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192071609">(Mar 27 2020 at 19:55)</a>:</h4>
<p>sometimes it gets tricky to say 'who did what' etc</p>



<a name="192071763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192071763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192071763">(Mar 27 2020 at 19:56)</a>:</h4>
<p>yeah, I was originally trying to keep it so of "we as wg-traits" instead of naming specific individuals</p>



<a name="192071892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192071892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192071892">(Mar 27 2020 at 19:57)</a>:</h4>
<p>I know :)</p>



<a name="192071906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192071906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192071906">(Mar 27 2020 at 19:58)</a>:</h4>
<p>I do think it's good to give shout-outs :)</p>



<a name="192072022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192072022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192072022">(Mar 27 2020 at 19:58)</a>:</h4>
<p>Oh for sure, shout-outs are fantastic</p>



<a name="192072024"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192072024" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192072024">(Mar 27 2020 at 19:58)</a>:</h4>
<p>but maybe a "Who participaetd in this sprint" or something would be a good compromise</p>



<a name="192072042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192072042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192072042">(Mar 27 2020 at 19:58)</a>:</h4>
<p>I just always feel super worried I'm gonna leave someone out</p>



<a name="192072065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192072065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192072065">(Mar 27 2020 at 19:58)</a>:</h4>
<p>yeah, I know. I always have that fear too :)</p>



<a name="192072069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192072069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192072069">(Mar 27 2020 at 19:58)</a>:</h4>
<p>I like that idea most</p>



<a name="192073353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192073353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192073353">(Mar 27 2020 at 20:10)</a>:</h4>
<p>How much detail do you think we want for "next sprint" goals?</p>



<a name="192073377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192073377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192073377">(Mar 27 2020 at 20:10)</a>:</h4>
<p>i.e., would ideal be to have links to actual issues (even if they are somewhat placeholders)</p>



<a name="192073423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192073423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192073423">(Mar 27 2020 at 20:11)</a>:</h4>
<p>we should definitely mention something like "if you want to get involved in this sprint, drop in on zulip"</p>



<a name="192073457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192073457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192073457">(Mar 27 2020 at 20:11)</a>:</h4>
<p>I've definitely tried to keep it fairly succinct so far</p>



<a name="192073480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192073480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192073480">(Mar 27 2020 at 20:11)</a>:</h4>
<p>I think linking to issues and mentioning how to get involved are good</p>



<a name="192073559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192073559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192073559">(Mar 27 2020 at 20:12)</a>:</h4>
<p>Well, I guess the rustc-integration MVP section isn't succinct</p>



<a name="192073576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192073576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192073576">(Mar 27 2020 at 20:12)</a>:</h4>
<p>yeah I'm worried a bit that the post is too long as is :)</p>



<a name="192073602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192073602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192073602">(Mar 27 2020 at 20:12)</a>:</h4>
<p>well I sort of like a "describe the goal" and then maybe add a bullet list of some tasks (linking to issues)</p>



<a name="192073608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192073608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192073608">(Mar 27 2020 at 20:12)</a>:</h4>
<p>it'll be good for us to try and make those</p>



<a name="192073632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192073632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192073632">(Mar 27 2020 at 20:12)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/2020.20sprint.201/near/192073576" title="#narrow/stream/144729-wg-traits/topic/2020.20sprint.201/near/192073576">said</a>:</p>
<blockquote>
<p>yeah I'm worried a bit that the post is too long as is :)</p>
</blockquote>
<p>I was debating about converting the "what we got done last sprint" into a bullet list ..</p>



<a name="192073707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192073707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192073707">(Mar 27 2020 at 20:13)</a>:</h4>
<p>I actually don't think length is a problem</p>



<a name="192073743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192073743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192073743">(Mar 27 2020 at 20:13)</a>:</h4>
<p>I feel like people probably <em>want</em> to know a bit more details</p>



<a name="192073799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192073799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192073799">(Mar 27 2020 at 20:14)</a>:</h4>
<p>it's only as long as it is because we got so much done</p>



<a name="192073934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192073934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192073934">(Mar 27 2020 at 20:15)</a>:</h4>
<p>side note that I do want to go back and take another stab at setting the scene, because I think there's a lot of confusion out there (including perhaps amongst us :) about the term chalk, the goals, etc. maybe the text I'm imagining ultimately belongs more in the wg-traits repo than the blog post though</p>



<a name="192074073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192074073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192074073">(Mar 27 2020 at 20:16)</a>:</h4>
<p>Yeah, I guess we should be careful not to overstate things</p>



<a name="192074409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192074409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192074409">(Mar 27 2020 at 20:19)</a>:</h4>
<p>I guess we don't have an issue for built-in traits yet?</p>



<a name="192074450"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192074450" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192074450">(Mar 27 2020 at 20:19)</a>:</h4>
<p>we do?</p>



<a name="192074461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192074461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192074461">(Mar 27 2020 at 20:19)</a>:</h4>
<p>maybe</p>



<a name="192074483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192074483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192074483">(Mar 27 2020 at 20:19)</a>:</h4>
<p>well there is <a href="https://github.com/rust-lang/chalk/issues/261" title="https://github.com/rust-lang/chalk/issues/261">https://github.com/rust-lang/chalk/issues/261</a></p>



<a name="192074497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192074497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192074497">(Mar 27 2020 at 20:19)</a>:</h4>
<p>right</p>



<a name="192074499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192074499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192074499">(Mar 27 2020 at 20:19)</a>:</h4>
<p>we can create a few more like that</p>



<a name="192074601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192074601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192074601">(Mar 27 2020 at 20:20)</a>:</h4>
<p>Or just make that also include other traits</p>



<a name="192074619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192074619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192074619">(Mar 27 2020 at 20:20)</a>:</h4>
<p>Or close and make a new issue</p>



<a name="192075115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192075115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192075115">(Mar 27 2020 at 20:25)</a>:</h4>
<p>it seems worth having an issue per trait</p>



<a name="192075129"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192075129" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192075129">(Mar 27 2020 at 20:25)</a>:</h4>
<p>I guess it depends if we expect one person to do them all</p>



<a name="192075145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192075145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192075145">(Mar 27 2020 at 20:25)</a>:</h4>
<p>we could just make one tracking issue I guess and then create subissues as needed</p>



<a name="192075159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192075159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192075159">(Mar 27 2020 at 20:25)</a>:</h4>
<p>Yeah</p>



<a name="192075191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192075191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192075191">(Mar 27 2020 at 20:25)</a>:</h4>
<p>I'll make a new 'meta issue' I guess</p>



<a name="192075202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192075202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192075202">(Mar 27 2020 at 20:25)</a>:</h4>
<p>I actually don't think it'll be a ton of work to do them all if you do one</p>



<a name="192075479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192075479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192075479">(Mar 27 2020 at 20:28)</a>:</h4>
<p>well that depends</p>



<a name="192075482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192075482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192075482">(Mar 27 2020 at 20:28)</a>:</h4>
<p>but maybe</p>



<a name="192075509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192075509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192075509">(Mar 27 2020 at 20:28)</a>:</h4>
<p>(ideally, I realize, the skill-tree would be serving the role of 'meta issue")</p>



<a name="192075525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192075525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192075525">(Mar 27 2020 at 20:28)</a>:</h4>
<p>though you can't really "link" to individual nodes in the tree</p>



<a name="192075546"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192075546" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192075546">(Mar 27 2020 at 20:29)</a>:</h4>
<p>and it's probably at a finer grained level of detail than may really be needed</p>



<a name="192075573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192075573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192075573">(Mar 27 2020 at 20:29)</a>:</h4>
<p>anyway created <a href="https://github.com/rust-lang/chalk/issues/363" title="https://github.com/rust-lang/chalk/issues/363">https://github.com/rust-lang/chalk/issues/363</a></p>



<a name="192075671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192075671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192075671">(Mar 27 2020 at 20:30)</a>:</h4>
<p>I'm going to open an issue on the wg-traits repo specifically to cover the const design meeting planning</p>



<a name="192075904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192075904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192075904">(Mar 27 2020 at 20:32)</a>:</h4>
<p><a href="https://github.com/rust-lang/wg-traits/issues/15" title="https://github.com/rust-lang/wg-traits/issues/15">https://github.com/rust-lang/wg-traits/issues/15</a></p>



<a name="192076137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076137">(Mar 27 2020 at 20:34)</a>:</h4>
<p>so "land existing branch" is one of our bullets towards MVP..</p>



<a name="192076139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076139">(Mar 27 2020 at 20:34)</a>:</h4>
<p>I guess that's ok</p>



<a name="192076394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076394">(Mar 27 2020 at 20:37)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/2020.20sprint.201/near/192075671" title="#narrow/stream/144729-wg-traits/topic/2020.20sprint.201/near/192075671">said</a>:</p>
<blockquote>
<p>I'm going to open an issue on the wg-traits repo specifically to cover the const design meeting planning</p>
</blockquote>
<p>actually I wonder if using the wg-traits repo for tracking issues would be nice in general :)</p>



<a name="192076410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076410">(Mar 27 2020 at 20:37)</a>:</h4>
<p>notably -- some of the items cross repos</p>



<a name="192076453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076453">(Mar 27 2020 at 20:38)</a>:</h4>
<p>I'm thinking specifically of the "shared library for types" goal</p>



<a name="192076548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076548">(Mar 27 2020 at 20:38)</a>:</h4>
<p>Can we add legend for the skill tree for all the people who will come to check it out? I can't say the emojis are that self-explanatory</p>



<a name="192076591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076591">(Mar 27 2020 at 20:38)</a>:</h4>
<p>Shared library for types definitely yes</p>



<a name="192076628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076628">(Mar 27 2020 at 20:39)</a>:</h4>
<p>It all depends on the type of tracking issue</p>



<a name="192076641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076641">(Mar 27 2020 at 20:39)</a>:</h4>
<p>But I wouldn't be against all tracking issues, I guess</p>



<a name="192076656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076656">(Mar 27 2020 at 20:39)</a>:</h4>
<p><span class="user-mention silent" data-user-id="251766">Areredify</span> <a href="#narrow/stream/144729-wg-traits/topic/2020.20sprint.201/near/192076548" title="#narrow/stream/144729-wg-traits/topic/2020.20sprint.201/near/192076548">said</a>:</p>
<blockquote>
<p>Can we add legend for the skill tree for all the people who will come to check it out? I can't say the emojis are that self-explanatory</p>
</blockquote>
<p>heh yes</p>



<a name="192076673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076673">(Mar 27 2020 at 20:39)</a>:</h4>
<p>should be possible..</p>



<a name="192076683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076683">(Mar 27 2020 at 20:39)</a>:</h4>
<p>Just makes it...more difficult to follow if Chalk-only tracking issues are in another repo</p>



<a name="192076776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076776">(Mar 27 2020 at 20:40)</a>:</h4>
<p>yeah I think we should say "cross repo" things are wg-traits for now I guess</p>



<a name="192076792"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076792" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076792">(Mar 27 2020 at 20:40)</a>:</h4>
<p>which reminds me that I'm planning to declare GH notification bankruptc this weekend</p>



<a name="192076805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076805">(Mar 27 2020 at 20:40)</a>:</h4>
<p>COVID-19 put me over the edge</p>



<a name="192076815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076815">(Mar 27 2020 at 20:40)</a>:</h4>
<p>though honestly I was falling behind anyway</p>



<a name="192076842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076842">(Mar 27 2020 at 20:41)</a>:</h4>
<p>/me really wants to keep up</p>



<a name="192076912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076912">(Mar 27 2020 at 20:41)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/364" title="https://github.com/rust-lang/chalk/issues/364">https://github.com/rust-lang/chalk/issues/364</a></p>



<a name="192076930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076930">(Mar 27 2020 at 20:41)</a>:</h4>
<p>for semantic to syntactic equality</p>



<a name="192076992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192076992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192076992">(Mar 27 2020 at 20:42)</a>:</h4>
<p>yeah, I've luckily been able to keep up with notifications, I don't have a lot</p>



<a name="192077409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192077409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192077409">(Mar 27 2020 at 20:46)</a>:</h4>
<p><a href="https://github.com/rust-lang/wg-traits/issues/16" title="https://github.com/rust-lang/wg-traits/issues/16">https://github.com/rust-lang/wg-traits/issues/16</a></p>



<a name="192077456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192077456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192077456">(Mar 27 2020 at 20:46)</a>:</h4>
<p>shared type library <span aria-label="point up" class="emoji emoji-1f446" role="img" title="point up">:point_up:</span></p>



<a name="192079482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192079482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192079482">(Mar 27 2020 at 21:00)</a>:</h4>
<p>niko dont push yourself too hard</p>



<a name="192079517"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192079517" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192079517">(Mar 27 2020 at 21:00)</a>:</h4>
<p>I'll say the same thing I always tell ben brittain</p>



<a name="192079528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192079528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192079528">(Mar 27 2020 at 21:00)</a>:</h4>
<p><span aria-label="clap" class="emoji emoji-1f44f" role="img" title="clap">:clap:</span> self <span aria-label="clap" class="emoji emoji-1f44f" role="img" title="clap">:clap:</span> care</p>



<a name="192086942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192086942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192086942">(Mar 27 2020 at 22:17)</a>:</h4>
<p>Is it just editing that we need to do now?</p>



<a name="192086957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192086957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192086957">(Mar 27 2020 at 22:17)</a>:</h4>
<p>Did you want to work on the intro more <span class="user-mention" data-user-id="116009">@nikomatsakis</span> ?</p>



<a name="192087016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192087016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192087016">(Mar 27 2020 at 22:18)</a>:</h4>
<p>I'm out of time.</p>



<a name="192087041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192087041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192087041">(Mar 27 2020 at 22:18)</a>:</h4>
<p>I think it can be posted as is (the intro, I mean)</p>



<a name="192087057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192087057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192087057">(Mar 27 2020 at 22:18)</a>:</h4>
<p>well probably all of it :)</p>



<a name="192087068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192087068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192087068">(Mar 27 2020 at 22:18)</a>:</h4>
<p>do you want to post it before the weekend, or on monday?</p>



<a name="192087084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192087084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192087084">(Mar 27 2020 at 22:18)</a>:</h4>
<p>Uh, today or tomorrow?</p>



<a name="192087105"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192087105" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192087105">(Mar 27 2020 at 22:19)</a>:</h4>
<p>ok, can you open a PR on the <a href="https://blog.rust-lang.org/inside-rust/" title="https://blog.rust-lang.org/inside-rust/">Inside Rust repo</a>?</p>



<a name="192087110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192087110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192087110">(Mar 27 2020 at 22:19)</a>:</h4>
<p>Yes I will</p>



<a name="192087114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192087114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192087114">(Mar 27 2020 at 22:19)</a>:</h4>
<p>thanks</p>



<a name="192087126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192087126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192087126">(Mar 27 2020 at 22:19)</a>:</h4>
<p>I can merge if you ping me...</p>



<a name="192087243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192087243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192087243">(Mar 27 2020 at 22:20)</a>:</h4>
<p>sure, I'll have it ready in like 15 minutes</p>



<a name="192087927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192087927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192087927">(Mar 27 2020 at 22:28)</a>:</h4>
<p><a href="https://github.com/rust-lang/blog.rust-lang.org/pull/552" title="https://github.com/rust-lang/blog.rust-lang.org/pull/552">https://github.com/rust-lang/blog.rust-lang.org/pull/552</a></p>



<a name="192099284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192099284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192099284">(Mar 28 2020 at 01:49)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> addressed your comments</p>



<a name="192141402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/2020%20sprint%201/near/192141402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Laurențiu <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/2020.20sprint.201.html#192141402">(Mar 28 2020 at 21:01)</a>:</h4>
<p>Nit: the implied bounds RFC link is broken</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>